Tootfinder

Character Varieties of Generalized Torus Knot Groups
Carlos Florentino, Sean Lawton
https://arXiv.org/abs/2401.15228 https://arXiv.or…

Character Varieties of Generalized Torus Knot Groups
Given $\mathbf{n}=(n_{1},\ldots,n_{r})\in\mathbb{N}^r$, let $Γ_{\mathbf{n}}$ be a group presentable as $\left\langle γ_{1},\ldots,γ_{k}\:|\:γ_{1}^{n_{1}}=γ_{2}^{n_{2}}=\cdots=γ_{r}^{n_{r}}\right\rangle. $ If $\gcd(n_i,n_j)=1$ for all $i\not=j$, we say $Γ_{\mathbf{n}}$ is a "generalized torus knot group" and otherwise say it is a "generalized torus link group." This definition includes torus knot and link groups ($r=2$), that is, fundamental groups of the complement of a torus knot o…

This https://arxiv.org/abs/2303.16337 has been replaced.
initial toot: https://mastoxiv.page/@…

Counter-example to the strong inequality at initial low temperature
When a thermally isolated system performs a driving process in the quasistatic regime, its variation of average work $\langle W\rangle$ is equal to its quasistatic work $\langle W_{\rm qs}\rangle$. Even though presenting this simple definition, few attempts have been made to describe such equilibrium quantity from the fluctuation theorem point of view. In this work, based on Jarzynski's equality, four forms of such equality are deduced. To corroborate the results, a relation with the strong ine…

Gullible magats keep fucking around and finding out in response to reich-wing disinformation. I’m hopeful that eventually the ringleaders like Raichik will get theirs, too.
https://www.bost…

Texas man sentenced to three months in federal prison for threatening Boston Children’s Hospital doctor who served transgender patients
Matthew Jordan Lindner, 39 of Comfort, Texas, pleaded guilty to one count of interstate transmission of threatening communication in December, federal prosecutors said Thursday.

Self-Consistent Atmosphere Representation and Interaction in Photon Monte Carlo Simulations
J. R. Peterson, G. Sembroski, A. Dutta, C. Remacaldo
https://arxiv.org/abs/2403.15562 <…

Self-Consistent Atmosphere Representation and Interaction in Photon Monte Carlo Simulations
We present a self-consistent representation of the atmosphere and implement the interactions of light with the atmosphere using a photon Monte Carlo approach. We compile global climate distributions based on historical data, self-consistent vertical profiles of thermodynamic quantities, spatial models of cloud variation and cover, and global distributions of four kinds of aerosols. We then implement refraction, Rayleigh scattering, molecular interactions, Tyndall-Mie scattering to all photons e…

This https://arxiv.org/abs/2401.13946 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

A polynomial-time quantum algorithm for solving the ground states of a class of classically hard Hamiltonians
In this work, we present a polynomial-time quantum algorithm for solving the ground states of a class of classically hard Hamiltonians. The mechanism of the exponential speedup that appeared in our algorithm is different from all existing quantum algorithms. The idea is to introduce a mapping $f:\text{ }ρ\rightarrow |ρ\rangle$ to use density matrices to represent pure states. We show that this mapping makes sense by giving an efficient method to obtain the information of $|ρ\rangle…

Twisted conjugacy in dihedral Artin groups I: Torus Knot groups
Gemma Crowe
https://arxiv.org/abs/2403.16671 https://arxiv.org/pdf/24…

Twisted conjugacy in dihedral Artin groups I: Torus Knot groups
In this paper we provide an alternative solution to a result by Juhász that the twisted conjugacy problem for odd dihedral Artin groups is solvable, that is, groups with presentation $G(m) = \langle a,b \; | \; _{m}(a,b) = {}_{m}(b,a) \rangle$, where $m\geq 3$ is odd, and $_{m}(a,b)$ is the word $abab \dots$ of length $m$, is solvable. Our solution provides an implementable linear time algorithm, by considering an alternative group presentation to that of a torus knot group, and working w…

This https://arxiv.org/abs/1805.08606 has been replaced.
link: https://scholar.google.com/scholar?q=a

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, for short). Our application solves the main TBox and ABox reasoning problems for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. In particular, it solves the consistency problem for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases represented…

This https://arxiv.org/abs/2401.13946 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

A polynomial-time quantum algorithm for solving the ground states of a class of classically hard Hamiltonians
In this work, we present a polynomial-time quantum algorithm for solving the ground states of a class of classically hard Hamiltonians. The mechanism of the exponential speedup that appeared in our algorithm is different from all existing quantum algorithms. The idea is to introduce a mapping $f:\text{ }ρ\rightarrow |ρ\rangle$ to use density matrices to represent pure states. We show that this mapping makes sense by giving an efficient method to obtain the information of $|ρ\rangle…

This https://arxiv.org/abs/1805.08606 has been replaced.
link: https://scholar.google.com/scholar?q=a

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, for short). Our application solves the main TBox and ABox reasoning problems for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. In particular, it solves the consistency problem for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases represented…

This https://arxiv.org/abs/1804.11222 has been replaced.
link: https://scholar.google.com/scholar?q=a

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$, in short $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. The logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, representable in the decidable multi-sorted quantified set-theoretic fragment $\mathsf{4LQS^R}$, combines the high scalability and efficiency of rule languages such as the Semantic Web Rule Language (SWRL) with the exp…